Dominating projective sets in the Baire space
نویسندگان
چکیده
منابع مشابه
Covering the Baire space by families which are not finitely dominating
It is consistent (relative to ZFC) that each union of max{b, g} many families in the Baire space ω which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U , the cofinality of the reduced ultrapower ω/U is greater than max{b, g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained intr...
متن کاملStrength of strongest dominating sets in fuzzy graphs
A set S of vertices in a graph G=(V,E) is a dominating set ofG if every vertex of V-S is adjacent to some vertex of S.For an integer k≥1, a set S of vertices is a k-step dominating set if any vertex of $G$ is at distance k from somevertex of S. In this paper, using membership values of vertices and edges in fuzzy graphs, we introduce the concepts of strength of strongestdominating set as well a...
متن کاملDominating Sets in Triangulations
In 1996, Matheson and Tarjan conjectured that any n-vertex triangulation with n sufficiently large has a dominating set of size at most n/4. We prove this for graphs of maximum degree 6.
متن کاملPlaying Games in the Baire Space
We solve a generalized version of Church’s Synthesis Problem where a play is given by a sequence of natural numbers rather than a sequence of bits; so a play is an element of the Baire space rather than of the Cantor space. Two players Input and Output choose natural numbers in alternation to generate a play. We present a natural model of automata (“N-memory automata”) equipped with the parity ...
متن کاملBaire Category for Monotone Sets
We study Baire category for downward-closed subsets of 2ω , showing that it behaves better in this context than for general subsets of 2ω . We show that, in the downward-closed context, the ideal of meager sets is prime and b-complete, while the complementary filter is g-complete. We also discuss other cardinal characteristics of this ideal and this filter, and we show that analogous results fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90025-6